run-with-locales: Suppress shellcheck warnings about 'local'

Gbp-Dch: ignore

diff --git a/debian/run-with-locales b/debian/run-with-locales
index 02e5adbf0e02c11480e7c67160ceb8db7d60ea0f..8f4aa0208e55bc9c71102c7fecebe8878b47e296 100755 (executable)
--- a/debian/run-with-locales
+++ b/debian/run-with-locales
@@ -28,6 +28,10 @@
 # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
 # IN THE SOFTWARE.
 
+# Assume a Debian Policy §10.4-compatible shell like dash or bash (with the
+# 'local' builtin)
+# shellcheck disable=SC2039
+
 set -eu
 
 me="$(basename "$0")"